Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
801	Multi-core Parallelization of Abstracted Abstract Machines ∗ Leif Andersen Matthew Might University of Utah Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-01-13 20:04:09 Formal languages Models of computation Computability theory Formal methods Lambda calculus Actor model Algorithm Regular language Semantics Theoretical computer science Mathematics Applied mathematics
802	A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations Laurent Burgy Laurent R´eveill`ere Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:26:20 Videotelephony Information Formal languages Session Initiation Protocol Data transmission Parsing Backus–Naur Form SIMPLE SIP Computing Compiler construction Data
803	First-Order Theorem Proving and VAMPIRE? Laura Kov´acs1 and Andrei Voronkov2 1 Chalmers University of Technology 2 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-05-02 16:51:41 Logical syntax Automated theorem proving Formal languages Formal methods Vampire Resolution Conjunctive normal form E theorem prover First-order logic Logic Mathematics Mathematical logic
804	Poster Presentation: Abstract Interpretation-based Mobile Code Certification? Elvira Albert1 , Germ´an Puebla2 , and Manuel Hermenegildo2,3 1 SIP, Complutense University of Madrid, Fac. de Inform´ Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2005-12-09 05:03:31 Software engineering Logic in computer science Assertion Debugging Abstract interpretation Principles of Programming Languages Verification Software development process Computer programming Computing Formal methods
805	SYNTAX-DIRECTED TRANSLATION SCHEMES FOR MULTI AGENT SYSTEMS CONVERSATION MODELLING Ana Fred, Joaquim Filipe* Instituto de Telecomunicações, Instituto Superior Técnico, Lisboa, Av. Rovisco Pais, Lisboa, Po Add to Reading List Source URL: www.lx.it.pt Language: English* - Date: 2010-07-24 14:01:22 Formal languages Oral communication Philosophy of language Human communication Pragmatics Speech act Intelligent agent Parsing Conversation Science Linguistics Behavior
806	Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2005-07-26 16:47:43 Theoretical computer science Formal methods Semantics Abstract interpretation Formal languages Model theory Prolog Semantics of programming languages Programming language Software engineering Computing Logic in computer science
807	ANT A TY P E S E TT I N G S Y S T E M “ant is not TEX.” Achim Blumensath December 16, 2007 Add to Reading List Source URL: ftp.rrze.uni-erlangen.de Language: English - Date: 2007-12-16 11:06:11 Software Expr ECL programming language Regular expression Tiny programming language Computing Formal languages Unix
808	LiLT volume 9, issue 1 July 2013 Synthetic logic Alex J. Djalali1 Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2013-11-12 22:35:43 Logical syntax Formal languages Entailment Logical consequence Interpretation Natural deduction Model theory Well-formed formula Function Logic Metalogic Deduction
809	Lucid Synchrone Release, version 3.0 Tutorial and Reference Manual Marc Pouzet April 2006 Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2010-08-22 09:49:20 Functional languages Procedural programming languages Formal methods Hardware description languages Synchronous programming languages Caml SIGNAL Lustre ML Computing Software engineering Computer programming

UPDATE